$a$ $\leq$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$($a$ $\leq_{b}$ $b$)